$\vdash$  $\forall$$i$:$\mathbb{Z}$. 0 = ($i$ $\ast$ 0)